package za.org.meraka.cair.ontorepair;

import org.protege.editor.owl.ui.renderer.OWLModelManagerEntityRenderer;
import org.protege.editor.owl.ui.renderer.OWLObjectRenderer;
import org.protege.editor.owl.model.OWLModelManager;
import org.semanticweb.owlapi.model.*; 

import java.util.Set;

public class Justification {
	public OWLAxiom axiom;	
	public Set<OWLAxiom> justification;
	private OWLModelManagerEntityRenderer entityRenderer;
    private OWLObjectRenderer objectRenderer;	
	
	public Justification(OWLModelManager m, OWLAxiom a, Set<OWLAxiom> just){
		entityRenderer = m.getOWLEntityRenderer();
		objectRenderer = m.getOWLObjectRenderer();
		axiom = a;
		justification = just;
	}
	
	public Justification(OWLAxiom a, Set<OWLAxiom> just){		
		axiom = a;
		justification = just;
	}		
	
	public String getAxiomRendering(){
		String result = "";
		result += objectRenderer.render(axiom);
		return result;
	}
}
